Theory of computation - PDFSEARCH.IO - Document Search Engine

Theory of computation
Results: 2087

#	Item
171	Additively efficient universal computers Daniel Dewey∗ Oxford Martin Programme on the Impacts of Future Technology, Future of Humanity Institute Add to Reading List Source URL: www.danieldewey.net Language: English - Date: 2014-04-04 07:59:10 Turing machine Computability theory Theory of computation Models of computation Alan Turing Universal Turing machine Turing completeness Kolmogorov complexity Computational complexity theory ChurchTuring thesis Cellular automaton Computer
172	Uniqueness Typing Simplified—Technical Appendix Edsko de Vries∗ Department of Computer Science Trinity College Dublin, Ireland August 13, 2008 Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Type theory Logic in computer science Models of computation Computability theory Metalogic Model theory Simply typed lambda calculus Lambda calculus CurryHoward correspondence Intuitionistic type theory
173	Algorithmic Computation of Thickness in Right-Angled Coxeter Groups Robbie Lyman April 2, 2015 Abstract The classification of right-angled Coxeter groups up to quasi-isometry Add to Reading List Source URL: www.wescac.net Language: English - Date: 2015-05-09 11:56:17 Graph theory Coxeter group Regular icosahedron Line graph End Graph Triangle-free graph Two-graph Coxeter graph
174	Microsoft Word - IBSAlgorithms.doc Add to Reading List Source URL: foibg.com Language: English - Date: 2015-02-02 08:45:52 Computability theory Theory of computation Mathematical logic Models of computation Theoretical computer science Gdel numbering Membrane computing Multiset Kurt Gdel Computable number Numbering Turing machine
175	Towards a Theory of Networked Computation Joan Feigenbaum Michael Mitzenmacher Add to Reading List Source URL: www.cs.yale.edu Language: English - Date: 2009-07-20 13:13:30 Cybernetics Network theory Distributed computing Theory of computation Computer science Computing Computation Network science Actor model Theoretical computer science Networked learning
176	Reuse It Or Lose It: More Efficient Secure Computation Through Reuse of Encrypted Values Benjamin Mood Yale University Add to Reading List Source URL: work.debayangupta.com Language: English - Date: 2014-08-25 13:51:41 Circuit complexity Complexity classes Secure multi-party computation Computational complexity theory Digital circuits Circuit Boolean circuit CC Hash function NC
177	Profile Gustavo E. Scuseria is the Robert A. Welch Professor of Chemistry, Professor of Physics and Astronomy, and Professor of Materials Science and NanoEngineering at Rice University, in Houston, Texas. Professor Scuse Add to Reading List Source URL: pollak.net.technion.ac.il Language: English - Date: 2015-04-21 10:17:40 Academics Gustavo Scuseria Quantum chemistry Journal of Chemical Theory and Computation Chemistry
178	MATHEMATICSof computation VOLUME 41. NUMBER 163 JULY 1983, PAGESClass Groups of Complex Quadratic Fields By R. J. Schoof Add to Reading List Source URL: www.mat.uniroma2.it Language: English - Date: 2013-10-18 10:58:33 Algebraic number theory Quadratic forms Field theory Linear algebra Real algebraic geometry Quadratic field Discriminant Algebraic number field Factorization Field extension Elliptic curve
179	A Statically Allocated Parallel Functional Language Alan Mycroft1,2 and Richard Sharp2 1 Computer Laboratory, Cambridge University Add to Reading List Source URL: rich.recoil.org Language: English - Date: 2006-04-13 14:58:01 Recursion Computability theory Theory of computation Subroutines Lambda calculus Primitive recursive function Fold Mutual recursion Higher-order function Type system
180	Computational Irreducibility and Computational Analogy Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2015-10-12 16:05:50 Computability theory Theory of computation Turing machine Alan Turing Models of computation Computability ChurchTuring thesis Computable function Algorithm Reduction Turing completeness Machine that always halts

UPDATE